91![Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich](https://www.pdfsearch.io/img/ed5c48f1eb5b003e857f3b68d97a84f3.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2014-07-10 05:49:28
|
---|
92![Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg](https://www.pdfsearch.io/img/a1b743f9d4dae55d43345eefe8fabae6.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-11-11 20:30:18
|
---|
93![Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008](https://www.pdfsearch.io/img/152e3eea286eb25aa7ae42f5de7b2ddd.jpg) | Add to Reading ListSource URL: www.liafa.univ-paris-diderot.frLanguage: English - Date: 2012-10-25 13:52:51
|
---|
94![AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak](https://www.pdfsearch.io/img/f58655a847ff27dab322ae595d613c89.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-11-11 20:30:18
|
---|
95![A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich](https://www.pdfsearch.io/img/b627ee7e06cdf589e138df449639126d.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2005-11-12 18:17:25
|
---|
96![Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University](https://www.pdfsearch.io/img/274ecc625cbcfc6f3104e037b04fc842.jpg) | Add to Reading ListSource URL: kosmikus.orgLanguage: English - Date: 2011-11-25 05:39:14
|
---|
97![Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts](https://www.pdfsearch.io/img/689df2c5fd45df1d0add0c4676d337e5.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2007-02-01 23:40:16
|
---|
98![Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se](https://www.pdfsearch.io/img/df36954607c6257d125d7bff22190361.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-09-04 09:56:00
|
---|
99![The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University](https://www.pdfsearch.io/img/c073f0f6e66a1787507b40ad6bd8f1db.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2015-01-16 15:37:27
|
---|
100![Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride](https://www.pdfsearch.io/img/0821877e0c7f208b2f504fe02573dc6b.jpg) | Add to Reading ListSource URL: strictlypositive.orgLanguage: English - Date: 2007-10-10 18:00:00
|
---|